Petri net - PDFSEARCH.IO - Document Search Engine

Petri net
Results: 320

#	Item
141	On BPMN Process Fragment Auto-Completion Add to Reading List Source URL: www.iaas.uni-stuttgart.de Language: English - Date: 2011-03-22 10:16:20 Business Business process Diagrams Design Workflow technology Business Process Model and Notation Business Process Modeling Language Petri net Business process modeling Process management Management Systems engineering
142	Microsoft Word - Ad_hoc_Iteration_and_Re-execution_of_Activities_in_Workflows-CR.doc Add to Reading List Source URL: www.iaas.uni-stuttgart.de Language: English - Date: 2012-07-20 10:08:39 Software engineering Workflow Business Process Execution Language Assignment Activity diagram Parallel computing Petri net Variable Activiti Workflow technology Computing Systems engineering
143	Formal Verification of SystemC Designs Using a Petri-Net Based Representation Daniel Karlsson, Petru Eles, Zebo Peng Department of Computer and Information Science, Linköpings universitet, Sweden {danka, petel, zebpe}@i Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2006-03-23 11:50:34 SystemC Models of computation Transaction-level modeling E Thread Petri net Electronic engineering Hardware verification languages Hardware description languages
144	A Structure for Modern Computer Narratives Clark Verbrugge School of Computer Science McGill University Montreal, Quebec, CANADA H3A 2A7 [removed] Add to Reading List Source URL: gram.cs.mcgill.ca Language: English - Date: 2014-03-14 23:54:01 Models of computation Hypergraph Petri net Graph Tree traversal Finite-state machine Bipartite graph Topology Graph theory Theoretical computer science Mathematics
145	Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains?∗ David N. Jansen Max-Planck-Institut f¨ur Informatik Saarbr¨ucken, Germany dnjansen @ mpi-sb.mpg.de Add to Reading List Source URL: doc.utwente.nl Language: English - Date: 2011-08-28 10:38:36 UML diagrams Unified Modeling Language Infographics Science Software engineering State diagram Finite-state machine European Train Control System Petri net Diagrams Models of computation Statistics
146	Monotonic Abstraction in Parameterized Verification Parosh Aziz Abdulla1 Department of Information Technology Uppsala University Sweden Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2009-12-16 16:43:42 Diagrams Petri net Transition Monotonic function FO Abstraction Computer science Mathematics Models of computation Concurrency
147	Conceptual Modeling of Concurrent Systems through Stepwise Abstraction Using Petri Net Morphisms Boleslaw Mikolajczak & Zuyan Wang Computer and Information Science Department Add to Reading List Source URL: www.cis.umassd.edu Language: English - Date: 2004-01-08 17:30:36 Computer science Petri Petri nets Science Concurrency Models of computation Diagrams
148	On BPMN Process Fragment Auto-Completion Add to Reading List Source URL: www.iaas.uni-stuttgart.de Language: English - Date: 2011-11-10 16:37:48 Business Business process Diagrams Design Workflow technology Business Process Model and Notation Business Process Modeling Language Petri net Business process modeling Process management Management Systems engineering
149	Journal of Computer Security[removed]–1210 DOI[removed]JCS[removed]IOS Press 1157 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 11:18:30 Model theory Operator theory Linear algebra Formal languages Petri net Trace Finite set Von Neumann algebra Interpretation Mathematics Mathematical logic Logic
150	P systems and unique-sum sets Pierluigi Frisco School of Math. and Comp. Sciences, Heriot-Watt University, EH14 4AS Edinburgh, UK, [removed] Add to Reading List Source URL: cmc11.uni-jena.de Language: English - Date: 2010-09-02 10:49:18 Computer science Theoretical computer science Multiset Random access machine Petri net Turing machine Models of computation Mathematics Theory of computation

UPDATE